Labels:bulletin board | daybook | paper | reckoner OCR: THEOREM THE LANGUAGE M. and Mr are Turing Tm M, Mach ines and ('w)7 L (Mz) UNDECIDABLE PLAIN ENGLISM iven two Pro gra mS can not compnre them Je ho L same "Any corred alg gorithm compa R the Aenct onality two Dro grams will some Himes ha/t Camoare whether thing corret algorithm compare onalits times